Lambda calculus - PDFSEARCH.IO - Document Search Engine

Lambda calculus
Results: 1452

#	Item
761	Last Time ➜ Sets COMP 4161 NICTA Advanced Course Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Lambda calculus Theoretical computer science Ordinal number Applied mathematics Abstraction Knaster–Tarski theorem Mathematics Order theory Computability theory
762	Generating Hardware Designs by Source Code Transformation Ashley W Brown, Wayne Luk and Paul H J Kelly Department of Computing, Imperial College London Email: {ashley.brown,p.kelly,w.luk}@imperial.ac.uk Add to Reading List Source URL: www.ashleybrown.co.uk Language: English - Date: 2010-09-16 08:37:39 Hardware description language Compiler optimizations Technology Mathematics Applied mathematics Combinatory logic Lambda calculus Logic in computer science
763	Know Your Operations Updated: Use this form to identify what business functions are critical to your business’ survival. Duplicate the form for each business function. Add to Reading List Source URL: www.disastersafety.org Language: English - Date: 2015-02-17 16:10:18 Lambda calculus Function Vendor Mathematical logic Mathematics Apply Functional programming
764	Microsoft PowerPoint - Talk_JC_Deon06.ppt Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 2006-07-24 04:58:12 Deontic logic Modal operator Norm Lambda calculus Constructible universe Dimensional analysis Logic Modal logic Mathematics
765	What to do and how to do it: Translating Natural Language Directives into Temporal and Dynamic Logic Representation for Goal Management and Action Execution Juraj Dzifcak and Matthias Scheutz and Chitta Baral and Paul Sc Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2009-12-09 21:12:19 Logic in computer science Lambda calculus Computability theory Formal methods Models of computation Combinatory logic Dynamic logic Modal logic Robot Mathematical logic Logic Theoretical computer science
766	COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification Toby Murray, June Andronick, Gerwin Klein HOL Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Lambda calculus Formal methods Predicate logic Functional languages Fixed-point combinator Id First-order logic Simply typed lambda calculus Isabelle Mathematical logic Logic Theoretical computer science
767	Using Answer Set Programming and Lambda Calculus to Characterize Natural Language Sentences with Normatives and Exceptions∗ Chita Baral and Juraj Dzifcak Tran Cao Son Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2008-11-11 15:26:22 Predicate logic Formal languages Philosophical logic Lambda calculus Combinatory logic First-order logic Categorial grammar Function Quantification Logic Mathematical logic Mathematics
768	A Traced Monoidal Category of Relations (DRAFT) R.D. Arthan 10 December[removed] Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2006-12-10 08:21:21 Monoidal categories Lambda calculus Traced monoidal category Monoid Morphism Sheaf Associative property Fixed-point combinator Cartesian closed category Algebra Mathematics Category theory
769	COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification Toby Murray, June Andronick, Gerwin Klein {} Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Logic Computability theory Lambda calculus Theoretical computer science Mathematical proof Constructible universe Creative Commons Mathematics Mathematical logic Open content
770	197 7 ACM Turing Award Lecture The 1977 A C M Turing Award was presented to John Backus at the A C M Annual Conference in Seattle, October 17. In introducing the recipient, Jean E. Sammet, Chairman of the Awards Committ Add to Reading List Source URL: worrydream.com Language: English - Date: 2013-07-16 19:44:03 Models of computation Logic in computer science Functional languages Programming paradigms Lambda calculus John von Neumann Denotational semantics FP Functional programming Software engineering Computing Mathematics

UPDATE